<html>
<head><meta charset="utf-8"><title>friendly-front-end · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html">friendly-front-end</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="126556447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126556447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126556447">(May 14 2018 at 20:26)</a>:</h4>
<p>(branching off into a separate topic)@<strong>lqd</strong></p>



<a name="126556459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126556459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126556459">(May 14 2018 at 20:26)</a>:</h4>
<p>well, plausibly we could do something like souffle, but that's not <em>especially</em> friendly</p>



<a name="126556463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126556463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126556463">(May 14 2018 at 20:26)</a>:</h4>
<p>I was thinking more like the input resembles a Rust program</p>



<a name="126556464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126556464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126556464">(May 14 2018 at 20:26)</a>:</h4>
<p>or a MIR dump</p>



<a name="126556478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126556478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126556478">(May 14 2018 at 20:27)</a>:</h4>
<p>oh I see :) I was just mentioning it since you had already done some work in that direction</p>



<a name="126556552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126556552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126556552">(May 14 2018 at 20:28)</a>:</h4>
<p>but it's true that embedding a rust fragment à la chalk would be natural I think</p>



<a name="126834989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126834989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126834989">(May 20 2018 at 15:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> would we need a <code>kills(Loan)</code>kind of fact in statements, in addition to <code>outlives</code>/<code>borrow_region_at</code>/<code>invalidates</code> ?</p>



<a name="126836357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126836357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126836357">(May 20 2018 at 16:09)</a>:</h4>
<p>I was also wondering how this needed to be integrated. I did the parser for the format you described this morning (but I'm not generating AllFacts yet) with lalrpop. So maybe, a subcrate like chalk does?</p>



<a name="126846026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126846026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126846026">(May 20 2018 at 22:06)</a>:</h4>
<p>hum, I'm not sure at which statement point should we emit <code>invalidates</code> facts ?</p>



<a name="126846033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126846033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126846033">(May 20 2018 at 22:07)</a>:</h4>
<p>Mostly the mid point, but the start point for some of the generator resume stuff. That might not matter for the "friendly front-end" though</p>



<a name="126846035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126846035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126846035">(May 20 2018 at 22:07)</a>:</h4>
<p>(generator resume, not mid point. Mid point is important =))</p>



<a name="126846075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126846075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126846075">(May 20 2018 at 22:08)</a>:</h4>
<p>My understanding is that the mid point is "as the statement executes," and since it's the process of executing the statement that invalidates the fact  that's when you want to emit the invalidate</p>



<a name="126846076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126846076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126846076">(May 20 2018 at 22:08)</a>:</h4>
<p>ok I'll just emit from the mid point for now, when we get to testing generator-like facts in the friendly front-end, we'll see :)</p>



<a name="126846083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126846083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126846083">(May 20 2018 at 22:09)</a>:</h4>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span> That's what the code I added to rustc does, so if it's wrong we're wrong together <span class="emoji emoji-1f604" title="smile">:smile:</span></p>



<a name="126848022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126848022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126848022">(May 20 2018 at 23:21)</a>:</h4>
<p>little update: almost done on the frontend parsing and creating AllFacts — mostly missing the previous questions about <code>kill</code>and where to put everything. (oh, and I eyeballed it but will add tests when I know where to add them :)</p>



<a name="126870107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126870107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126870107">(May 21 2018 at 12:32)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> would we need a <code>kills(Loan)</code>kind of fact in statements, in addition to <code>outlives</code>/<code>borrow_region_at</code>/<code>invalidates</code> ?</p>
</blockquote>
<p>yes.</p>



<a name="126870193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126870193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126870193">(May 21 2018 at 12:35)</a>:</h4>
<blockquote>
<p>I was also wondering how this needed to be integrated. I did the parser for the format you described this morning (but I'm not generating AllFacts yet) with lalrpop. So maybe, a subcrate like chalk does?</p>
</blockquote>
<p>The reason that I separated chalk into two crates was because LALRPOP compile times were very painful back in the day. This is less true now with the table-based parser and incremental compilation. Still, it's fine to break the parser into its own crate if we want. Ultimately, I would expect this structure in the end, which is basically the same as chalk:</p>
<ul>
<li>polonius -- an executable crate that ties together the front-end and engine. Basically an elaborate mock-testing harness.<ul>
<li>polonius-engine -- contains the engine, used as a lib by rustc</li>
<li>polonius-parser -- optional, but contains the parser and maybe a bit of the front-end stuff</li>
</ul>
</li>
</ul>



<a name="126870251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126870251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126870251">(May 21 2018 at 12:36)</a>:</h4>
<blockquote>
<p>Mostly the mid point, but the start point for some of the generator resume stuff. That might not matter for the "friendly front-end" though</p>
</blockquote>
<p>that's a good point, I forgot that some events occur in the start point of statements. I was intending everything to come at the mid point. Maybe we should change the format of a statement to have an optional "start" — or maybe just a basic block — something like:</p>
<div class="codehilite"><pre><span></span>Statement := Effects | Effects &quot;/&quot; Effects
Effects := ...
</pre></div>


<p>so you can write <code>invalidated(L0) / ...</code> and have the `invalidated appear in the start point, but otherwise you are just specifying things in the mid-point.</p>



<a name="126871398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871398">(May 21 2018 at 13:04)</a>:</h4>
<p>yeah from what I could tell (but haven't checked in rustc, only in the polonius inputs; and also I might have misunderstood) <code>use</code> (to emit <code>region_live_at</code>) and <code>outlives</code> occur in both start and mid points ?</p>



<a name="126871424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871424">(May 21 2018 at 13:05)</a>:</h4>
<blockquote>
<p>yeah from what I could tell (but haven't checked in rustc, only in the polonius inputs; and also I might have misunderstood) <code>use</code> (to emit <code>region_live_at</code>) and <code>outlives</code> occur in both start and mid points ?</p>
</blockquote>
<p>I think that <code>use</code> (which is not a fact) would be at mid points, but that will cause <code>region_live_at</code> at start points, yes</p>



<a name="126871426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871426">(May 21 2018 at 13:05)</a>:</h4>
<p>I don't <em>think</em> we emit <code>outlives</code> at start points?</p>



<a name="126871537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871537">(May 21 2018 at 13:08)</a>:</h4>
<p>there are quite a number in clap IIRC</p>



<a name="126871560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871560">(May 21 2018 at 13:09)</a>:</h4>
<p>hmm. curious.</p>



<a name="126871562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871562">(May 21 2018 at 13:09)</a>:</h4>
<p>could be, not sure if it <em>should</em> be</p>



<a name="126871563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871563">(May 21 2018 at 13:09)</a>:</h4>
<p>oh</p>



<a name="126871565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871565">(May 21 2018 at 13:09)</a>:</h4>
<p>I think I know what those are</p>



<a name="126871566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871566">(May 21 2018 at 13:09)</a>:</h4>
<p>that's something else</p>



<a name="126871568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871568">(May 21 2018 at 13:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> that is due to <a href="https://github.com/rust-lang-nursery/polonius/issues/24" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/24">https://github.com/rust-lang-nursery/polonius/issues/24</a></p>



<a name="126871571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871571">(May 21 2018 at 13:09)</a>:</h4>
<p>I have a fix for that</p>



<a name="126871572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871572">(May 21 2018 at 13:09)</a>:</h4>
<p>I just haven't opened the PR</p>



<a name="126871575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871575">(May 21 2018 at 13:09)</a>:</h4>
<p>because I've been too busy</p>



<a name="126871576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871576">(May 21 2018 at 13:10)</a>:</h4>
<p>or at least a tentative fix</p>



<a name="126871629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871629">(May 21 2018 at 13:10)</a>:</h4>
<p>should be another small win on clap actually</p>



<a name="126871630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871630">(May 21 2018 at 13:10)</a>:</h4>
<p>I think it reduces the number of outlives facts by 2</p>



<a name="126871632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871632">(May 21 2018 at 13:10)</a>:</h4>
<p>oh alright awesome</p>



<a name="126871666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871666">(May 21 2018 at 13:11)</a>:</h4>
<p>I should at least open a [WIP] PR on rustc</p>



<a name="126871670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871670">(May 21 2018 at 13:11)</a>:</h4>
<p>it degrades a few error msgs</p>



<a name="126871671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871671">(May 21 2018 at 13:11)</a>:</h4>
<p>that was the main problem?</p>



<a name="126871673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871673">(May 21 2018 at 13:11)</a>:</h4>
<p>maybe there was an ICE in one case, I can't recall</p>



<a name="126871674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871674">(May 21 2018 at 13:12)</a>:</h4>
<p>/me will rebase and find out</p>



<a name="126871715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871715">(May 21 2018 at 13:12)</a>:</h4>
<p>there are some interesting language questions that get raised</p>



<a name="126871718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871718">(May 21 2018 at 13:12)</a>:</h4>
<p>that have to do with the basic premise of using liveness though</p>



<a name="126871721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871721">(May 21 2018 at 13:12)</a>:</h4>
<p>but I think that's orthogonal ... I have to write that up too ...</p>



<a name="126871723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126871723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126871723">(May 21 2018 at 13:12)</a>:</h4>
<p>so <code>use</code> only emits a <code>region_live_at</code>on start and that's it, the rest can be manually specified (once I remove my <code>outlives</code> derivation on Starts) with the mentioned "/" separator</p>



<a name="126872276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126872276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126872276">(May 21 2018 at 13:27)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> I opened <a href="https://github.com/rust-lang/rust/pull/50938" target="_blank" title="https://github.com/rust-lang/rust/pull/50938">https://github.com/rust-lang/rust/pull/50938</a></p>



<a name="126991423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/126991423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#126991423">(May 23 2018 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> here it is <a href="https://github.com/rust-lang-nursery/polonius/pull/45" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/45">https://github.com/rust-lang-nursery/polonius/pull/45</a> — as I'm not very familiar with LALRPOP, there might be a lot of things to improve</p>



<a name="127021238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021238">(May 24 2018 at 09:44)</a>:</h4>
<p>as for the question whether to hack on the PR or iterate in-tree, whichever you prefer ?</p>



<a name="127021349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021349">(May 24 2018 at 09:48)</a>:</h4>
<p>usually I like hacking in tree better, so others can "join in" and you don't have to do all the rebase pain</p>



<a name="127021358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021358">(May 24 2018 at 09:49)</a>:</h4>
<p>I'm not entirely sure what I think about the <code>use</code> vs <code>def</code> and how rustc should interact, but probably for now having a separate computation (that rustc maybe uses later) is probably the way to go — in particular if we compressed edges, then having datafrog do it might be better</p>



<a name="127021528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021528">(May 24 2018 at 09:54)</a>:</h4>
<p>I'm fine with hacking in tree as well :) do you want me at least to nest the Effects enum first ?</p>



<a name="127021610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021610">(May 24 2018 at 09:57)</a>:</h4>
<p>and this liveness computation could be indeed for <a href="https://github.com/rust-lang/rust/issues/51003" target="_blank" title="https://github.com/rust-lang/rust/issues/51003">https://github.com/rust-lang/rust/issues/51003</a> - I can do that, or Keith also, as they were looking to work with datafrog :D</p>



<a name="127021740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021740">(May 24 2018 at 10:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> I think having someone else to do liveness is even better :) (grow knowledge base)</p>



<a name="127021781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127021781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127021781">(May 24 2018 at 10:02)</a>:</h4>
<p>understood, let's go <span class="user-mention" data-user-id="116108">@Keith Yeung</span> :)</p>



<a name="127024803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127024803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127024803">(May 24 2018 at 11:41)</a>:</h4>
<p>until we have the computed liveness, we could also emit <code>region_live_at</code>manually at Start points</p>



<a name="127026083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026083">(May 24 2018 at 12:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> conceivably we could remove <code>use</code> and just have people write <code>region_live_at</code> manually to start .. awfully tedious though to get the start/end right .. so I guess you're saying we could special-case that ..? seems reasonable</p>



<a name="127026103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026103">(May 24 2018 at 12:19)</a>:</h4>
<p>I'm about to push an updated version with the nested Fact enum + comma-separated regions in <code>use</code></p>



<a name="127026155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026155">(May 24 2018 at 12:20)</a>:</h4>
<p>manual region_live_at it could be fine for smaller tests, and those would be of little interest</p>



<a name="127026163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026163">(May 24 2018 at 12:20)</a>:</h4>
<p>so I can guess we can land as is but still have to wait for the liveness computation to have our awesome tests ?</p>



<a name="127026180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026180">(May 24 2018 at 12:21)</a>:</h4>
<p>(I was really wishing to have some tests before landing leapfrog :)</p>



<a name="127026191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026191">(May 24 2018 at 12:21)</a>:</h4>
<blockquote>
<p>so I can guess we can land as is but still have to wait for the liveness computation to have our awesome tests ?</p>
</blockquote>
<p>yeah, sounds good</p>



<a name="127026206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026206">(May 24 2018 at 12:21)</a>:</h4>
<blockquote>
<p>(I was really wishing to have some tests before landing leapfrog :)</p>
</blockquote>
<p>might make sense to wait until we get rustc integration going, or else keep leapfrog as a separate algorithm</p>



<a name="127026249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026249">(May 24 2018 at 12:22)</a>:</h4>
<p>yup, separate algorithm was also proposed by Frank</p>



<a name="127026279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026279">(May 24 2018 at 12:23)</a>:</h4>
<p>the API is still on a branch in his repo, and maybe the exact API is not nailed down perfectly yet anyway</p>



<a name="127026720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127026720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127026720">(May 24 2018 at 12:35)</a>:</h4>
<p>ofc the rebase didn't work, I'll reopen the PR later <span class="emoji emoji-1f62d" title="sob">:sob:</span></p>



<a name="127027716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027716">(May 24 2018 at 13:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="emoji emoji-1f62d" title="sob">:sob:</span> sorry GH didn't allow me to reopen so <a href="https://github.com/rust-lang-nursery/polonius/pull/48" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/48">https://github.com/rust-lang-nursery/polonius/pull/48</a> -- I'll open issues for the specific points we talked about wrt use/def, liveness, etc afterwards</p>



<a name="127027741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027741">(May 24 2018 at 13:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> it would've worked if you didn't close the PR btw</p>



<a name="127027791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027791">(May 24 2018 at 13:04)</a>:</h4>
<p>right</p>



<a name="127027799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027799">(May 24 2018 at 13:04)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="emoji emoji-1f62d" title="sob">:sob:</span> sorry GH didn't allow me to reopen so <a href="https://github.com/rust-lang-nursery/polonius/pull/48" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/48">https://github.com/rust-lang-nursery/polonius/pull/48</a> -- I'll open issues for the specific points we talked about wrt use/def, liveness, etc afterwards</p>
</blockquote>
<p>...I maybe can re-open it?</p>



<a name="127027932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027932">(May 24 2018 at 13:08)</a>:</h4>
<p>I don't think so, it's because of the force push</p>



<a name="127027940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027940">(May 24 2018 at 13:08)</a>:</h4>
<p>_while being closed_</p>



<a name="127027944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127027944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127027944">(May 24 2018 at 13:08)</a>:</h4>
<p>otherwise it's fine ofc</p>



<a name="127028015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127028015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127028015">(May 24 2018 at 13:10)</a>:</h4>
<p>the force is strong with this one</p>



<a name="127208526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127208526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127208526">(May 28 2018 at 14:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> er I forgot about your PR for a while now :)</p>



<a name="127208529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127208529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127208529">(May 28 2018 at 14:38)</a>:</h4>
<p>I see it's been pending</p>



<a name="127208537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127208537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127208537">(May 28 2018 at 14:38)</a>:</h4>
<p>looks like it is still mergable though</p>



<a name="127208598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127208598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127208598">(May 28 2018 at 14:40)</a>:</h4>
<p>er, not quite</p>



<a name="127208600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127208600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127208600">(May 28 2018 at 14:40)</a>:</h4>
<p>just needs a rebase with the <code>Cargo.toml</code> etc</p>



<a name="127208853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127208853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127208853">(May 28 2018 at 14:47)</a>:</h4>
<p>Oh cool, if you think we can land as is, I’ll rebase either at the airport or tomorrow :)</p>



<a name="127216898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127216898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127216898">(May 28 2018 at 18:39)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> here you go, my daily rebase of <a href="https://github.com/rust-lang-nursery/polonius/pull/48" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/48">https://github.com/rust-lang-nursery/polonius/pull/48</a> — straight from the airport <span class="emoji emoji-2708" title="airplane">:airplane:</span> :) definitely need to create issues about <code>def</code> + liveness computation (maybe someone at the impl days tomorrow will want to do it) but until I create it, I updated the PR's message to mention it still needs those, and link to the relevant comment of yours.</p>



<a name="127216956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127216956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127216956">(May 28 2018 at 18:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> merged =)</p>



<a name="127216962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127216962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127216962">(May 28 2018 at 18:41)</a>:</h4>
<p>awesome thank you :D</p>



<a name="127645753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/friendly-front-end/near/127645753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/friendly-front-end.html#127645753">(Jun 06 2018 at 08:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> here's the PR I promised last night — <a href="https://github.com/rust-lang-nursery/polonius/pull/70" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/70">https://github.com/rust-lang-nursery/polonius/pull/70</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>